int dump_functions(void);

/* vim:fileencoding=UTF-8:ts=4:sw=4:sta:et:sts=4:ai
 */
